Dedekind cut
METHOD OF CONSTRUCTION OF THE REAL NUMBERS
Dedekind cuts; Dedekind section; Completion (order theory); Dedekind's Axiom; Dedekind Cut
In mathematics, Dedekind cuts, named after German mathematician Richard Dedekind but previously considered by Joseph Bertrand, are а method of construction of the real numbers from the rational numbers. A Dedekind cut is a partition of the rational numbers into two sets A and B, such that all elements of A are less than all elements of B, and A contains no greatest element.